Introduction to Octave Dr. P.J.G. Long Department of Engineering University of Cambridge Based on the Tutorial Guide to Matlab written by Dr. Paul Smith

Source URL: www-mdp.eng.cam.ac.uk

• Software
• Mathematical software
• Application software
• Array programming languages
• GNU Octave
• MATLAB
• Array programming
• Trigonometric functions
• Sine
• Logarithm
• Division
• Octave

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes

approximate-mdps-notes.dvi

Source URL: www.stat.berkeley.edu

• Operations research
• Numerical analysis
• Mathematical optimization
• Mathematical analysis
• Optimal control
• Dynamic programming
• Markov decision process
• Stochastic control

Dynamic Programming Algorithm for Optimization of β-Decision Rules Talha Amin1 , Igor Chikalov1 , Mikhail Moshkov1 , and Beata Zielosko1,2 1 Mathematical and Computer Sciences & Engineering Division

Source URL: csp2011.mimuw.edu.pl

A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Logic
• Mathematical logic
• Type theory
• Automated theorem proving
• Logic programming
• Models of computation
• Logic in computer science
• Substitution
• Structure
• Model theory
• Parity of a permutation

k -Group 3 Multiple Alignment Based on A Search H. Imai

Source URL: www.jsbi.org

• Computational phylogenetics
• Bioinformatics
• Biology
• Mathematical and theoretical biology
• Multiple sequence alignment
• Sequence alignment
• Gap penalty
• Phylo
• Dynamic programming
• Tree alignment
• NeedlemanWunsch algorithm

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015

Source URL: ilyasergey.net

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Automated theorem proving
• Formal methods
• Coq
• Automated reasoning
• Proof assistant
• Separation logic
• Functional programming

Searching for Novel Regression Functions Yuliana Mart´ınez, Enrique Naredo, and Leonardo Trujillo Departamento de Ingenier´ıa El´ectrica y Electr´onica Doctorado en Ciencias de la Ingenier´ıa

Source URL: eplex.cs.ucf.edu

• Evolutionary algorithms
• Applied mathematics
• Genetic algorithms
• Mathematical optimization
• Cybernetics
• Evolution
• Artificial intelligence
• Numerical analysis
• Evolutionary computation
• Genetic programming
• Algorithm
• Interactive evolutionary computation